منابع مشابه
Decomposition of TrPTL Formulas
Partial orders based veri cations methods are now well developed. In this framework, several suitable logics have already been de ned. We focus on this paper on the logic TrPTL, as de ned by Thiagarajan, for which models are the well known (in nite) Mazurkiewicz traces. We study the case where the alphabet is not connected. Our main theoretical result is that any TrPTL formula can be decomposed...
متن کاملOverlapping Pfaffians
A combinatorial construction proves an identity for the product of the Pfaffian of a skew-symmetric matrix by the Pfaffian of one of its submatrices. Several applications of this identity are followed by a brief history of Pfaffians. 0. Definitions. Let X be a possibly infinite index set. We consider quantities f [xy] defined on ordered pairs of elements of X , satisfying the law of skew symmet...
متن کاملA Combinatorial Algorithm for Pfaffians
The Pfaffian of an oriented graph is closely linked to Perfect Matching. It is also naturally related to the determinant of an appropriately defined matrix. This relation between Pfaffian and determinant is usually exploited to give a fast algorithm for computing Pfaffians. We present the first completely combinatorial algorithm for computing the Pfaffian in polynomial time. Our algorithm works...
متن کاملPLANCHEREL MEASURE FOR GL(n): EXPLICIT FORMULAS AND BERNSTEIN DECOMPOSITION
Let F be a nonarchimedean local field, let GL(n) = GL(n, F ) and let ν denote Plancherel measure for GL(n). Let Ω be a component in the Bernstein variety Ω(GL(n)). Then Ω yields its fundamental invariants: the cardinality q of the residue field of F , the sizes m1, . . . ,mt, exponents e1, . . . , et, torsion numbers r1, . . . , rt, formal degrees d1, . . . , dt and the Artin conductors f11, . ...
متن کاملFour-by-four Pfaffians
This paper shows that the general hypersurface of degree ≥ 6 in projective four space cannot support an indecomposable rank two vector bundle which is Arithmetically CohenMacaulay and four generated. Equivalently, the equation of the hypersurface is not the Pfaffian of a four by four minimal skewsymmetric matrix.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Algebra
سال: 1994
ISSN: 0021-8693
DOI: 10.1006/jabr.1994.1020